<?php

if (!defined('T_NS_SEPARATOR'))
{
	define('T_NS_SEPARATOR', '\\');
}